翻訳と辞書 Words near each other ・ Existence Genetics ・ Existence Is Futile ・ Existence of God ・ Existence precedes essence ・ Existence theorem ・ Existence value ・ Existensminimum ・ Existentia ・ Existential clause ・ Existential counselling ・ Existential crisis ・ Existential fallacy ・ Existential generalization ・ Existential graph ・ Existential humanism ・ Existential instantiation ・ Existential migration ・ Existential nihilism ・ Existential phenomenology ・ Existential Psychotherapy ・ Existential Psychotherapy (book) ・ Existential quantification ・ Existential risk from artificial general intelligence ・ Existential theory of the reals ・ Existential therapy ・ Existentialism ・ Existentialism and Humanism ・ Existentialist anarchism ・ Existentially closed model ・ Existentiell Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Existential instantiation ： ウィキペディア英語版 Existential instantiation In predicate logic, existential instantiation (also called existential elimination)〔Hurley, Patrick. A Concise Introduction to Logic. Wadsworth Pub Co, 2008.〕〔Copi and Cohen〕〔Moore and Parker〕 is a valid rule of inference which says that, given a formula of the form $(\backslash exists\; x)\; \backslash phi(x)$, one may infer $\backslash phi(c)$ for a new constant or variable symbol ''c''. The rule has the restriction that the constant or variable ''c'' introduced by the rule must be a new term that has not occurred earlier in the proof. In one formal notation, the rule may be denoted :$(\backslash exists\; x)\backslash mathcalx\; ::\; \backslash mathcala\; ,$ where ''a'' is an arbitrary term that has not been a part of our proof thus far. == See also == * existential fallacy 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Existential instantiation」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.